#ifndef NONFINAUTTEST_H_
#define NONFINAUTTEST_H_

#include <iostream>
#include <ostream>
#include <string>
#include <set>
#include "NonFinAut.h"
#include "testprogram.h"

class NonFinAutTest :
	public TestProgram
{
public:
	NonFinAutTest();
	virtual ~NonFinAutTest();
	NonFinAut<string> getNonFinAut();
	void getDrawning();
	void printTransitions();
	void makeDrawning(NonFinAut<string> &obj);

protected:
	void testProgram();
private:
	NonFinAut<string> nonFinAut;
};
#endif
